Revision: tla-tools--devo--0--patch-19
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Mon Sep  1 22:35:27 JST 2003
Standard-date: 2003-09-01 13:35:27 GMT
Modified-files: fix-reftex-toc-patch
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-19
Summary: More cleanup in fix-reftex-toc-patch

